https://filesoo.com/product/3765/formal-category-theory-adjointness-for-2-categories